Nuprl Definition : top
12,41
postcript
pdf
Top ==
x
:Void.Void
latex
Definitions
x
:
A
.
B
(
x
)
,
Void
FDL editor aliases
top
origin
x:Void.Void x:Void.Void x:A.B(x)